Books by author Klaus Havelund

Showing 1 – 10 out of 10 results

1. 

   SPIN Model Checking and Software Verification

   Klaus Havelund, John Penix, Willem Visser | Springer, Berlin, 2000

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.61 €

   Sale 7 %

   You save 4.27 €

   Buy
2. 

   NASA Formal Methods

   Jyotirmoy Deshmukh, Klaus Havelund, Ivan Perez | Springer International Publishing AG, 2022

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   133.63 €

   Sale 7 %

   You save 11.11 €

   Buy
3. 

   Java Pathfinder User Guide

   Klaus Havelund | Bibliogov, 2013

   
   

   In stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Paperback

   15.44 €

   Sale 2 %

   You save 0.36 €

   Buy
4. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Erika Abraham, Klaus Havelund | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2014

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.61 €

   Sale 7 %

   You save 4.27 €

   Buy
5. 
   New!

   NASA Formal Methods

   Jyotirmoy Deshmukh, Klaus Havelund, Alessandro Pinto | Springer, Berlin, 2026

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   76.15 €

   Sale 7 %

   You save 6.39 €

   Buy
6. 

   Formal Methods

   Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink | Springer International Publishing AG, 2018

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   92.62 €

   Sale 7 %

   You save 7.71 €

   Buy
7. 

   NASA Formal Methods

   Klaus Havelund, Gerard Holzmann, Rajeev Joshi | Springer International Publishing AG, 2015

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.61 €

   Sale 7 %

   You save 4.27 €

   Buy
8. 

   NASA Formal Methods

   Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   Low in stock at our supplier - Shipping in 13 - 18 days

   Language: English

   Binding: Paperback

   55.75 €

   Buy
9. 

   Model Checking Software

   Klaus Havelund, Rupak Majumdar, Jens Palsberg | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.61 €

   Sale 7 %

   You save 4.27 €

   Buy
10. 

    Formal Approaches to Software Testing and Runtime Verification

    Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.61 €

    Sale 7 %

    You save 4.27 €

    Buy

Books are sent immediately or as soon as possible. Find out more